The use of Prohibited Substances in Playing Games: With special reference to Asian Games

Playing Games with Timed Games

In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation prob...

Playing Video Games While Using or Feeling the Effects of Substances: Associations with Substance Use Problems

This study tested the hypothesis that playing video games while using or feeling the effects of a substance--referred to herein as "concurrent use"-is related to substance use problems after controlling for substance use frequency, video gaming as an enthusiastic hobby, and demographic factors. Data were drawn from a nationally representative online survey of adult video gamers conducted by Kno...

Playing Games with the Law

Children's strategy use when playing strategic games

Strategic games require to reason about other peoples and one’s own beliefs or intentions. Although they have clear commonalities with psychological tests of theory of mind, they are not clearly related to these tests for children between 9 and 10 years old [6]. We study children’s (5 – 12 years of age) individual differences in playing a strategic game by analyzing the strategies that they app...

Playing Games with Theorem Provers

The disciplines of Computer Game Playing and Automated Theorem Proving have a lot in common and insights to share. From huge search spaces to heuristics and evaluation function, from learning to domain analysis to competition, both of these areas of Artificial Intelligence have much to gain from each other. This paper describes the use of a logic based language to describe games and a game play...